A Decision Diagram based Hierarchical Test Pattern Generator
نویسندگان
چکیده
* This work has been supported by the Estonian Science Foundation grant G-1850 ABSTRACT: A hierarchical test generation approach to digital circuits, which uses Register-Transfer (RT) and gate level model descriptions, is presented. The proposed test generator implements a novel test generation technique based on Decision Diagram (DD) models. Uniform modeling procedures are used on both levels, as well as for datapath and control parts. Experimental results show that the method offers better performance than other state-of-the-art test generators for sequential circuits [1, 2, 3].
منابع مشابه
DECIDER: A Decision Diagram Based Hierarchical Test Generation System
Current paper presents a hierarchical test pattern generation system that uses register-transfer level VHDL and gate-level EDIF netlist descriptions as inputs. The system includes appropriate interfaces to synthesize Decision Diagram (DD) models, a DD based test pattern generator and a fault simulator to evaluate the quality of the generated tests. In the paper, the structure of the system is p...
متن کاملDECIDER: A System for Hierarchical Test Pattern Generation
A hierarchical test pattern generation system that uses register-transfer level VHDL and gate-level EDIF netlist descriptions as inputs is presented in current paper. The main novelty of the hierarchical ATPG tool lies in the fact that it implements internal representation of mixed-level (register-transfer and structural levels) decision diagram models. The system includes appropriate interface...
متن کاملVhdl Based Test Generation System
The paper describes a VHDL based hierarchical test generator for digital systems. A VHDL subset to be used as an input of the test generation system is defined. The VHDL description will be transformed into a set of decision diagrams, which is used as a diagnostic model of a system under test. Functional test generation as well as hierarchical test synthesis are supported by the model. Experime...
متن کاملFPGA Design Flow with Automated Test Generation
A novel FPGA design flow combined with automated hierarchical test pattern generation was developed and experimented on a real FPGA circuit for telecommunication. A hierarchical test generator for digital systems described in VHDL is presented. Both, register-transfer (RT) and gate level descriptions are used. Decision diagrams are exploited as a uniform model for describing systems at both lev...
متن کاملMultiple-Objective Backtrace for Solving Test Generation Constraints
Current paper presents a new method for solving hierarchical test generation constrainis. Unlike most of /he previous solvers. the proposed approach relies on the low-level model description of the constraints. The low-level model used is structurally synthesized BDDs, which are generated directly from the gate-level descriptions of the hierarchical modules. The method has been implemented and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005